/*
  S.M.A.C.K - An operating system kernel
  Copyright (C) 2010,2011 Mattias Holm and Kristian Rietveld
  For licensing and a full list of authors of the kernel, see the files
  COPYING and AUTHORS.
*/

#include <stdio.h>
#include <interrupt.h>

/*
  Implementation of panic
*/

void
panic(void)
{
  disable_interrupts ();

  puts("******************* kernel panic ***************\r\n");

  /* FIXME: Perhaps make this a platform dependent function, so that
   * we can print the address of the calling instructing for
   * debugging purposes.
   */

  while (1) ;
}
